- язык программирования , основанный на логике предикатов
- Information technology: predicate logic language, predicate logic-based language
Универсальный русско-английский словарь. Академик.ру. 2011.
язык программирования , основанный на логике предикатов
Смотреть что такое "язык программирования , основанный на логике предикатов" в других словарях:
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
